home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c / 725 < prev    next >
Encoding:
Internet Message Format  |  1996-08-06  |  2.3 KB
  1. Path: news.crd.ge.com!usenet
  2. From: Christopher R Volpe <volpe@ash.crd.ge.com>
  3. Newsgroups: comp.std.c
  4. Subject: Re: It this portable?
  5. Date: Thu, 11 Apr 1996 14:38:35 -0400
  6. Organization: GE Corporate Research & Development, Schenectady, NY
  7. Message-ID: <316D51AB.C23@ash.crd.ge.com>
  8. References: <Dpp1tv.4Kq@ukpsshp1.serigate.philips.nl>
  9. NNTP-Posting-Host: bart.crd.ge.com
  10. Mime-Version: 1.0
  11. Content-Type: text/plain; charset=us-ascii
  12. Content-Transfer-Encoding: 7bit
  13. X-Mailer: Mozilla 2.0 (X11; I; SunOS 5.4 sun4m)
  14.  
  15. Stephen Baynes wrote:
  16. > 
  17. > In a glossy newsletter from a company (who had better remain nameless) that
  18. > sells tools for testing and validating C code the following bit of code was
  19. > given as an example of implementation dependent but portable code across ISO
  20. > C implementations. I know 'portable' is not a term used in the standard
  21.  
  22. Correct.
  23.  
  24. , let
  25. > us assume it means conforming.
  26.  
  27. Bad choice. The term "conforming", when applied to user code (not to
  28. implementations) is virtually meaningless. The U.S. Constitution is a
  29. conforming piece of C code, or at least could be, given the existence of
  30. a hypothetical compiler which makes it so.
  31.  
  32. I suspect the intended characteristic here is one that has been
  33. informally dubbed "strongly conforming", meaning it violates no syntax
  34. rule or semantic constraint, and does not invoke undefined behavior.
  35.  
  36. > Is this program conforming, giving an
  37. > implementation defined result (regardless of the fact the result is probably
  38. > not the one intended) or is it going to give undefined behaviour?
  39. > 
  40. > 
  41. > #include <stdio.h>
  42. > #include <limits.h>
  43. > int main( void )
  44. > {
  45. >     printf( "%d", UINT_MAX );
  46. >     return 0;
  47. > }
  48. > 
  49. > My vote is for undefined, but can anyone construct an argument based on
  50. > the represention of integers that makes it implmentation defined?
  51.  
  52. Well, my vote is for implementation-defined, or at worst, unspecified,
  53. but I can be convinced otherwise. Ints and unsigned-ints are required to
  54. be the same size, I believe, and so the  result should depend only on
  55. the interpretation of the UINT_MAX bit pattern as a signed int.
  56.  
  57. My gut feeling is that there's no reason why a reasonable implementation
  58. should crash from the above code.
  59.  
  60. --
  61.  
  62. Chris Volpe                Phone: (518) 387-7766 (Dial Comm 8*833
  63. GE Corporate R&D            Fax:   (518) 387-6560
  64. PO Box 8, Schenectady, NY 12301        Email: volpecr@crd.ge.com
  65.